Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·8h·
Discuss: DEV
🔍Concolic Testing
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·7h
🎯Gradual Typing
ECMAScript TC39 proposal-pattern-matching
github.com·15h·
Discuss: Hacker News
🔤Type Theory
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.com·11h
🎙️Whisper
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·1h
🧮Algebraic Datatypes
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·20h
🔗Topological Sorting
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·16h
🤖Grammar Induction
Greyscale-box test-driven development
blog.ploeh.dk·10h
🧪Property-Based Testing
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Lessons from using AI in Discovery
thoughtbot.com·1d
🕵️Metadata Mining
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·14h·
Discuss: www.blogger.com
🔗Lisp
Productive AI Programming Using Forced Context Distillation
jx0.ca·16h·
Discuss: Hacker News
✨Effect Handlers
VulAgent: Hypothesis-Validation based Multi-Agent Vulnerability Detection
arxiv.org·1h
🧪Protocol Fuzzing
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·15h·
Discuss: DEV
⚔️Lean Tactics
How to Debug Chez Scheme Programs (2002)
scheme.com·7h·
Discuss: Hacker News
📜Proof Carrying Code
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·11h
🏛️Agda
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·10h·
Discuss: Hacker News
λLambda Encodings
Learn How to Use Transformers with HuggingFace and SpaCy
towardsdatascience.com·15h
🎯Dependent Parsing
An Interpretable Benchmark for Clickbait Detection and Tactic Attribution
arxiv.org·1h
⚖️Feed Ranking
Show HN: Building an open-source agentic terminal
davehudson.io·13h·
Discuss: Hacker News
📟Terminals